10 results
INDIRECT PROOF AND INVERSIONS OF SYLLOGISMS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 25 July 2019, pp. 196-207
- Print publication:
- June 2019
-
- Article
- Export citation
CONTRACTION-FREE SEQUENT CALCULI FOR INTUITIONISTIC LOGIC: A CORRECTION
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1680-1682
- Print publication:
- December 2018
-
- Article
- Export citation
GEOMETRISATION OF FIRST-ORDER LOGIC
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 04 June 2015, pp. 123-163
- Print publication:
- June 2015
-
- Article
- Export citation
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 12 August 2010, pp. 351-373
- Print publication:
- September 2010
-
- Article
- Export citation
Computational Logic by Ulrich Berger and Helmut Schwichtenberg, editors, Springer-Verlag, 1999, 444 pp.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 433-436
-
- Article
-
- You have access
- Export citation
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of JSL LXIII 1605. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, etc., 2000, xii + 417 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, p. 280
- Print publication:
- June 2001
-
- Article
- Export citation
Admissibility of structural rules for contraction-free systems of intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 4 / December 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1499-1518
- Print publication:
- December 2000
-
- Article
- Export citation
PRACTICAL FOUNDATIONS OF MATHEMATICS (Cambridge Studies in Advanced Mathematics 59) By PAUL TAYLOR: 572 pp., £50.00 (US$80.00) ISBN 0 521 63107 6 (Cambridge University Press, 1999).
-
- Journal:
- Bulletin of the London Mathematical Society / Volume 32 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 23 October 2000, pp. 619-640
- Print publication:
- September 2000
-
- Article
- Export citation
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Cambridge tracts in theoretical computer science, no. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, xi + 343 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 4 / December 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1605-1606
- Print publication:
- December 1998
-
- Article
- Export citation
Contraction-free sequent calculi for intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 795-807
- Print publication:
- September 1992
-
- Article
- Export citation